81. Automata, languages and programming :
Author: edited by G. Ausiello and C. Böhm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
82. Automata, languages and programming :
Author: J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Machine theory -- Congresses.,Machine theory.
Classification :
QA267
.
J543
1991
83. Automata, languages, and programming :
Author: edited by Jan Paredaens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
84. Automata, languages and programming :
Author: ICALP 93. A. Lingas ... (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Lund <1993>,Theoretische Informatik.
85. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
86. Automated and algorithmic debugging :
Author: Peter A Fritzson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
87. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
88. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
89. Automatic program development :
Author: edited by Olivier Danvy [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Program transformation (Computer programming),Programming (Mathematics),Computer algorithms.,Informatique.,MATHEMATICS-- Linear & Nonlinear Programming.,Program transformation (Computer programming),Programming (Mathematics)
Classification :
QA402
.
5
.
A88
2008eb
90. Automating Instructional Design:
Author: edited by Robert D. Tennyson, Ann E. Barron.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Educational technology.,Software engineering.
91. Autonomous, Model-Based Diagnosis Agents
Author: by Michael Schroeder.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Data structures (Computer science).,Information storage and retrieval systems.
92. Axiomatising the Logic of Computer Programming
Author: by Robert Goldblatt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Logic design.
93. Baltic Computer Science :
Author: by Janis Barzdins, Dines Bjorner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
B953
1991
94. Based Framework to Support Argumentation in Semantic Web Applications-A Defeasible Logic Programming
Author: / Naeem Khalid Janjua
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING|ROBOTICS& METHODS|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
95. Bayesian Approach to Global Optimization :
Author: by Jonas Mockus.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Information theory.
Classification :
QA402
.
5
B956
1989
96. Beginning C object-oriented programming /
Author: Dan Clark
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C# (Computer program language),Object-oriented programming (Computer science)
Classification :
QA76
.
73
.
C154
C53
2013
97. Beginning C object-oriented programming /
Author: Dan Clark
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C# (Computer program language),Object-oriented programming (Computer science)
Classification :
QA76
.
73
.
C154
C53
2013
98. Beginning 3D game development with Unity :
Author: Sue Blackman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Unity (Electronic resource),Computer adventure games.,Computer games-- Programming.,Three-dimensional display systems.,Video games-- Design.
Classification :
QA76
.
76
.
C672
B58
2011
99. Between mind and computer :
Author: eds.: P.-Z. Wang ; K.-F. Loe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fuzzy-Logik.,Fuzzy-Menge.,Fuzzy-Regelung.
Classification :
QA76
.
E377
1998
